Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
801	A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed] Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-23 06:34:27 Programming paradigms Concurrent computing Formal methods Design by contract Software design Hoare logic Liskov substitution principle Communications protocol Algorithm Software engineering Computing Theoretical computer science
802	DRAWING WITH CONSTRAINTS Michael Gleicher Andrew Witkin School of Computer Science Carnegie Mellon University Pittsburgh, PA[removed] Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 1998-11-02 13:27:08 Mathematical optimization Computer programming Applied mathematics Programming paradigms Constraint satisfaction Constraint algorithm Linear programming Constraint Constraint programming Software engineering Operations research
803	CHI95UpdatedFontForProperPagination.FMD.fm Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:42:08 Models of computation User interface management systems Computer animation ALGOL 68 Algorithm Finite-state machine Actor model Postcondition Parallel computing Computing Software engineering Computer programming
804	Proc. of IEEE Power Engineering Society Winter Meeting January 28 - February 1st, 2001 Columbus, Ohio, USA. Practical Distribution State Estimation Add to Reading List Source URL: www.particleswarm.info Language: English - Date: 2013-01-25 09:37:08 Mathematical optimization Automation Distribution management system Power factor Genetic algorithm Estimation theory Power flow study Sensitivity analysis Voltage regulator Electromagnetism Electrical engineering Electric power
805	Reprint 758 Performance of LIDAR-based Turbulence Detection Algorithm P.W. Chan & K.M. Kwong* Add to Reading List Source URL: www.weather.gov.hk Language: English - Date: 2008-02-29 01:04:17 Aerodynamics Atmospheric dynamics Chek Lap Kok Hong Kong International Airport LIDAR Continuum mechanics Turbulence Pilot report Wind Meteorology Atmospheric sciences Aerospace engineering
806	AN ANALYSIS OF THE EXPONENTIATED GRADIENT DESCENT ALGORITHM Simon I. Hill Robert C. Williamson Telecommunications Engineering, RSISE Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 05:32:38 Mean squared error Least mean squares filter Algorithm Statistics Least squares Estimation theory
807	Cooperative Computing with Fragmentable and Mergeable Groups CHRYSSIS GEORGIOU, Computer Science and Engineering,University of Connecticut, Storrs, CT 06269, USA. Email: [removed] ALEX A. SHVARTSMAN, Computer Sci Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 04:52:19 Algorithm Mathematical logic Theoretical computer science Distributed computing Multi-core processor Distributed algorithm Applied mathematics Computer programming Parallel computing Computing Digital signal processing
808	Also published in International Journal of Communication Systems, vol. 15, no. 10, pp[removed], 2002 (See end of this document) Low Pass Filter/ Over Drop Avoidance (LPF/ODA): An algorithm to improve the performance of Add to Reading List Source URL: www.cs.ou.edu Language: English - Date: 2008-06-13 16:56:12 Electronic engineering Active queue management Network congestion Throughput Random early detection Transmission Control Protocol Low-pass filter Queuing delay Robust random early detection Network performance Management Computing
809	[removed]David Jeffrey Ljung Madison - Resume David Jeffrey Ljung Madison Programming, Algorithm Design/Development, VLSI / CPU Verification Add to Reading List Source URL: davesource.com Language: English - Date: 2014-10-17 23:07:38 Hardware description languages Hardware verification languages Formal methods Logic in computer science Verilog Application-specific integrated circuit Post-silicon validation Formal verification Random test generator Electronic engineering Electronic design automation Digital electronics
810	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-12-27 13:17:17 Applied mathematics Mathematics Cellular automaton Approximate string matching Pattern Compressed pattern matching String searching algorithm Conference on Implementation and Application of Automata Trie Pattern matching Automata theory Theoretical computer science

UPDATE